formal deduction

[网络] 形式演绎期;形式的演绎;形式推导